\langname bytecode can best be thought of as a collection of primitive
continuations.  Code consists of a series of {\em operations}, where
each operation is of the form: {\tt opcode param1 param2 ...
  [destination]}.  Each of these parts consists of one machine word.
The opcode determines what operation is to occur, as well as the
number and types of the parameters.

Parameters can be any of the following:

\begin{itemize}
\item a pointer to an object
\item (a special case of the above) a pointer to another continuation
\item for efficiency, a literal value ?
\end{itemize}